incremental constraint solver

增量约束解答器